import _00SetFunc as ss
import __00SetRelation as sr

#关系自反性判断
X={1,2,3,4}
R= {(1,2),(3,3),(4,4),(3,1),(2,3),(4,3),(2,2),(4,1),(1,1)}
tv=sr.isreflexive(X,R)
print("tv",tv)